This is an open-source demo released by the authors of previous studies. We have obtained their permission to use it as supplementary material to explain the core idea of symbolic generalization.